upper semicontinuous function
Upper semicontinuity
#incomplete
<- back